-
1 explicit free variable
Математика: явная свободная переменнаяУниверсальный англо-русский словарь > explicit free variable
-
2 explicit free variable
лог. явная свободная переменнаяEnglish-Russian scientific dictionary > explicit free variable
-
3 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
-
4 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
5 method
1) метод; приём; способ2) методика3) технология4) система•- accelerated strength testing method-
benching method-
bullhead well control method-
electrical-surveying method-
electromagnetic surveying method-
long-wire transmitter method-
operational method-
rule of thumb method-
straight flange method of rolling beams-
symbolical method-
tee-test method-
testing method-
triangulation method-
value-iteration method -
6 generator
1) генератор3) датчик, (первичный) измерительный преобразователь5) генератриса, производящая функция6) вчт. генерирующая программа, генератор•to wind the generator — наматывать обмотку генератора-
hockey stick steam generator
-
ac generator
-
acetylene generator
-
acoustic generator
-
acoustic pulse generator
-
acyclic generator
-
address generator
-
airborne ice nuclei generator
-
air-cooled generator
-
air-gap-conductor generator
-
amplidyne generator
-
analytical-function generator
-
answer generator
-
arbitrary-function generator
-
arc generator
-
arc-welding generator
-
artwork generator
-
asynchronous generator
-
atmospheric steam generator
-
audio-frequency generator
-
auxiliary generator
-
axle generator
-
bar generator
-
bar-and-dot generator
-
bar-dot generator
-
base generator
-
basic frequency generator
-
battery-charging generator
-
bell-type generator
-
bell generator
-
bias generator
-
binary generator
-
bipolar generator
-
bit-rate generator
-
blocking generator
-
booster generator
-
borehole neutron generator
-
brushless generator
-
brushless salient-pole ac generator
-
bulbwater-wheel generator
-
bulb generator
-
burst generator
-
burst-controlled generator
-
call generator
-
caption generator
-
carrier generator
-
cascade generator
-
character generator
-
character-controlled generator
-
charging generator
-
chip generator
-
chirp generator
-
chromakey generator
-
clock-pulse generator
-
clock generator
-
closed-cycle MHD generator
-
coal fluidized-bed generator
-
coaxial noise generator
-
code generator
-
collector-type generator
-
color reference generator
-
color-background generator
-
color-bar generator
-
color-pattern generator
-
command generator
-
compiler generator
-
complex-wave generator
-
compound generator
-
compound signal generator
-
computer-art generator
-
constant-potential generator
-
contact-type generator
-
contact generator
-
crossed-field generator
-
cross-hatch generator
-
current generator
-
curve generator
-
cylindrical-rotor generator
-
data generator
-
dc generator
-
degaussing generator
-
delay generator
-
digital effects generator
-
digitally tunable generator
-
digit-symbol display generator
-
digit-symbol generator
-
dipping-type generator
-
dipping generator
-
direct-expansion ice generator
-
display generator
-
display vector generator
-
document generator
-
dot generator
-
dot-matrix character generator
-
double-current generator
-
double-effect generator
-
drive-pulse generator
-
driving generator
-
drooping characteristic generator
-
drop generator
-
dry residue-type generator
-
dry residue generator
-
electric generator
-
electric steam generator
-
electrochemical generator
-
electrodynamic vibration generator
-
electrolytic generator
-
electromagnetic vibration generator
-
electron-beam pattern generator
-
electronically controlled generator
-
electronic controlled generator
-
electrostatic generator
-
emergency generator
-
encapsulated hydraulic turbine generator
-
explicit-pole generator
-
field generator
-
fine triangular waveform generator
-
fixed range mark generator
-
fixed-format dot character generator
-
fixed-format dot generator
-
fluid pulse generator
-
flying-spot color-signal generator
-
flying-spot video generator
-
foam generator
-
foot-operated generator
-
fork generator
-
fourpolar generator
-
frame generator
-
free-running blocking generator
-
frequency-modulated generator
-
fuel-cell generator
-
fully water-cooled turbine generator
-
function generator
-
gas generator
-
gas target neutron generator
-
gas-turbine driven generator
-
gate-pulse generator
-
gate generator
-
Gaussian noise generator
-
gear generator
-
general-purpose function generator
-
gold-device pattern generator
-
graphic generator
-
grating generator
-
Hall generator
-
harbor generator
-
harmonic generator
-
heteropolar generator
-
high-frequency generator
-
high-voltage generator
-
homopolar generator
-
horizontal deflection generator
-
horizontal generator
-
horizontal sweep generator
-
horizontal-bar generator
-
horizontal-shaft generator
-
hot-air generator
-
hot-water generator
-
house generator
-
hydraulic turbine generator
-
hydraulic vibration generator
-
hydroelectric generator
-
hydrogen filled water-cooled turbine generator
-
hydrogen-cooled generator
-
ice generator
-
ice-forming aerosol generator
-
impact-excited generator
-
implicit-pole generator
-
impulse generator
-
impulse-noise generator
-
inclined-plate wave generator
-
induction generator
-
inductor-type generator
-
inductor generator
-
insertion signal generator
-
integrated drive generator
-
interpole generator
-
isotopic power generator
-
key-pulse generator
-
klystron generator
-
laser artwork generator
-
laser character generator
-
lightning generator
-
line generator
-
linear sweep generator
-
liquid nitrogen generator
-
list generator
-
look-ahead carry generator
-
low-frequency generator
-
low-voltage generator
-
macro generator
-
magnetoelectric generator
-
magneto generator
-
magnetonydrodynamic generator
-
magnetostriction generator
-
magnetostrictive vibration generator
-
major-state generator
-
manual number generator
-
marker generator
-
mask pattern generator
-
mask generator
-
master clock generator
-
master time code generator
-
mechanical ice generator
-
mismatched generator
-
mobile call generator
-
mobile generator
-
modulation generator
-
molecular generator
-
monodisperse aerosol generator
-
motion command generator
-
motion generator
-
motor generator
-
multifrequency generator
-
multifrequency-burst generator
-
multilevel interconnection generator
-
multioperator welding generator
-
multiple channel generator
-
narrow strobe-pulse generator
-
natural function law generator
-
natural function generator
-
neutron generator
-
noise generator
-
noise-current generator
-
noise-spectrum generator
-
noise-voltage generator
-
nonsalient-pole generator
-
notch generator
-
number generator
-
off-on wave generator
-
once-through steam generator
-
one shot generator
-
optical generator
-
parallel generator
-
pattern generator
-
peak generator
-
permanent-magnet generator
-
phase-locked generator
-
photoelectric generator
-
picture generator
-
piezoelectric vibration generator
-
pink noise generator
-
plasma generator
-
polyphase generator
-
portable generator
-
pressure generator
-
profile generator
-
program generator
-
programmable clock generator
-
propulsion generator
-
pseudorandom noise generator
-
pseudorandom number generator
-
pseudorandom sequence generator
-
pulse generator
-
pulsed generator
-
pulse-series generator
-
quench generator
-
radio-frequency generator
-
ramp generator
-
random-noise generator
-
random-number generator
-
range-marker generator
-
raster signal generator
-
reaction-type vibration generator
-
redundancy check generator
-
reference frequency generator
-
reference generator
-
reference smoke generator
-
regenerative generator
-
reheat steam generator
-
relaxation generator
-
reluctance generator
-
report program generator
-
resonant vibration generator
-
reversed polarity generator
-
ringing generator
-
rotary pulse generator
-
routine generator
-
salient-pole generator
-
sampling-pulse generator
-
sawtooth generator
-
scanning generator
-
scan generator
-
scintillation noise generator
-
screen generator
-
seismic-wave generator
-
self-contained ice generator
-
self-excited generator
-
self-excited induction generator
-
selsyn generator
-
separately excited generator
-
series generator
-
service generator
-
shading generator
-
shaft-driven generator
-
shaft generator
-
shunts-wound generator
-
shunts generator
-
signal generator
-
simulation generator
-
single sideband generator
-
single-line turbine generator
-
single-phase generator
-
single-shaft turbine generator
-
slave generator
-
software simulator pattern generator
-
solar generator
-
solid rotor generator
-
spark generator
-
special-effects generator
-
special-effect generator
-
speech generator
-
speed governor axle generator
-
spot wobbler generator
-
spot wobble generator
-
sprocket pulse generator
-
square-law generator
-
square-wave generator
-
staircase generator
-
standard-signal generator
-
standby generator
-
stationary generator
-
steam generator
-
steam-gas generator
-
step generator
-
step-wave generator
-
straight bevel gear generator
-
straight-tube steam generator
-
stress-wave generator
-
stroke-character generator
-
subaudio-frequency generator
-
subcritical steam generator
-
submerged generator
-
superconducting generator
-
supersonic generator
-
surge generator
-
sweep generator
-
swept-frequency generator
-
symbol generator
-
sync generator
-
synchro generator
-
synchronization pulse generator
-
synchronized trigger generator
-
synchronizing generator
-
synchronizing-waveform generator
-
synchronous generator
-
tachometer generator
-
tandem-pulse generator
-
target generator
-
TC generator
-
television test-pattern generator
-
television-picture generator
-
television generator
-
terrestrial solar generator
-
test-line generator
-
test-pattern generator
-
test-tone generator
-
text generator
-
thermoelectric generator
-
Thevenin's generator
-
three-phase generator
-
tidal generator
-
time-base generator
-
time-code generator
-
time-mark generator
-
time-pulse generator
-
timing-pulse generator
-
timing generator
-
tone generator
-
tone-burst generator
-
torque command generator
-
track generator
-
train heating generator
-
tray-type acetylene generator
-
triangle generator
-
trigger generator
-
triggered blocking generator
-
tube generator
-
turbine-driven generator
-
turbine generator
-
twice-horizontal frequency generator
-
ultrasonic generator
-
umbrella-type water-wheel generator
-
umbrella water-wheel generator
-
unbalanced mass vibration generator
-
undercar generator
-
unipolar generator
-
Van de Graaff generator
-
Van der Pol generator
-
variable-frequency generator
-
variable-pulse generator
-
vector generator
-
vertical deflection generator
-
vertical generator
-
vertical sweep generator
-
vertical-bar generator
-
vertical-shaft hydro generator
-
vibration generator
-
video effects generator
-
vinegar generator
-
visual alignment generator
-
voltage generator
-
voltage-controlled generator
-
vortex generator
-
water-cooled turbine generator
-
water-displacement contact-type generator
-
water-displacement contact generator
-
water-gas generator
-
water-recession generator
-
water-to-carbide-type generator
-
water-to-carbide generator
-
water-turbine driven generator
-
water-turbine generator
-
water-wheel type generator
-
wave generator
-
waveform generator
-
wave-powered generator
-
welding generator
-
white noise generator
-
wide strobe-pulse generator
-
wind-driven generator
-
window generator
-
wind-powered generator
-
yeast generator -
7 programming
1) программирование; подготовка УП2) планирование•- 2D part programmingprogramming by guiding — программирование обучением (напр. робота)
- 3D part programming
- absolute programming
- absolute/incremental programming
- angle programming
- arc programming
- at-the-machine programming
- automatic programming
- away-from-site programming
- background programming
- blue-print programming
- CAM programming
- canned programming
- chuck programming
- circular programming
- CNC machine tool programming
- CNC programming
- common point programming
- computer programming
- computer-assisted off-line programming
- computerized programming
- concurrent programming
- constant surface speed programming
- constant surface speed/rpm programming
- contingency programming
- continuous path programming
- conversational keyboard programming
- conversational programming
- diagnostic programming
- dialog programming
- direct digit programming
- direct feedrate programming
- direct programming
- direct spindle speed programming
- EDM NC programming
- EIA programming
- equipment programming
- explicit path programming
- external programming
- family-of-parts programming
- feature-based part programming
- five-axis programming
- fixture-based programming
- flexible programming
- free contour programming
- free programming
- full 360-degree programming
- generative NC programming
- GOTO-less programming
- graphics-assisted NC programming
- graphics-oriented NC programming
- hand-held programming
- helical programming
- incremental data programming
- incremental programming
- industrial control programming
- integer programming
- interactive CAD programming
- interactive programming
- ISO programming
- joint level programming
- knowledge-based programming
- ladder-diagram programming
- lathe programming
- lead-through programming
- linear programming
- machine programming
- machine-operator programming
- machine-site programming
- machine-tool programming
- machining center programming
- macro-based programming
- manual programming
- mathematical programming
- MDI programming
- menu dialogue programming
- miller programming
- milling machine programming
- millturn NC programming
- mixed-integer programming
- modular programming
- multiple process programming
- NC programming
- nonmandatory conversational programming
- numerical control programming
- object oriented programming
- off-line programming
- off-line robot programming
- off-the-machine programming
- on-line programming
- on-site programming
- on-the-machine programming
- on-the-spot programming
- operation programming
- operator programming
- operator/foreman programming
- optimum programming
- pallet-handling programming
- parametric programming
- part programming
- part surface programming
- PC programming
- plugboard programming
- plug-in programming
- point-to-point programming
- polar coordinate programming
- polar programming
- pushbutton programming
- quadratic programming
- question-and-answer dialog programming
- random-access programming
- remote programming
- resident assistant programming
- robot programming
- robotic programming
- safe zone programming
- shape programming
- shop floor programming
- shop level programming
- step-by-step programming
- task level programming
- task programming
- teach programming
- teaching robotic programming
- three-axis programming
- top-down programming
- true part edge programming
- turning machine programming
- variable route FMS programming
- walk-through programming
- workshop-oriented programmingEnglish-Russian dictionary of mechanical engineering and automation > programming
-
8 cost
-
9 expression
См. также в других словарях:
Explicit substitution — In computer science, Explicit substitution is an umbrella term used to describe several calculi based on the Lambda calculus that pay special attention to the formalization of the process of substitution. The concept of explicit substitutions has … Wikipedia
Context-free grammar — In formal language theory, a context free grammar (CFG) is a formal grammar in which every production rule is of the form V → w where V is a single nonterminal symbol, and w is a string of terminals and/or nonterminals (w can be empty). The… … Wikipedia
Closure (computer science) — In computer science, a closure (also lexical closure, function closure, function value or functional value) is a function together with a referencing environment for the non local variables of that function.[1] A closure allows a function to… … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Director string — In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables in a term. Director strings were introduced by Kennaway and Sleep in 1982 and further developed… … Wikipedia
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
System of linear equations — In mathematics, a system of linear equations (or linear system) is a collection of linear equations involving the same set of variables. For example,:egin{alignat}{7}3x ; + ; 2y ; ; z ; = ; 1 2x ; ; 2y ; + ; 4z ; = ; 2 x ; + ; frac{1}{2} y ; ; z … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Generalization (logic) — Generalization is an inference rule of predicate calculus which states that:: If vdash P(x) is true (valid) then so is vdash forall x , P(x) . Generalization can be abbreviated as GEN. The inference rule can be summarized as the sequent: P(x)… … Wikipedia